1.30/3.28	unsat
