12.76/15.27	unsat
