6.57/8.04	unsat
