9.92/11.27	unsat
