2.19/2.32	unsat
