1.30/5.25	unsat
