10.87/12.40	unsat
