6.57/8.21	unsat
