6.48/10.50	unsat
