4.98/7.27	unsat
