11.47/12.29	unsat
