2.26/2.30	unsat
