5.78/8.27	unsat
