11.87/11.90	unsat
