4.19/6.59	unsat
