5.69/8.27	unsat
