6.48/7.41	unsat
