8.87/11.89	unsat
