5.33/7.59	unsat
