1.30/1.31	unsat
