4.19/6.57	unsat
