11.85/11.99	unsat
