12.38/15.27	unsat
