4.70/6.39	unsat
