1.30/6.59	unsat
