11.87/12.26	unsat
