1.30/5.16	unsat
