5.77/8.27	unsat
