11.87/16.50	unsat
