10.85/12.26	unsat
