10.87/12.01	unsat
