24.53/27.27	unsat
