23.94/27.27	unsat
