2.19/2.31	unsat
