11.48/11.50	unsat
