5.63/7.27	unsat
