4.85/6.57	unsat
