4.79/6.59	unsat
