5.87/8.27	unsat
