8.47/11.89	unsat
