10.85/12.73	unsat
