4.80/6.85	unsat
