4.72/6.57	unsat
