4.30/6.26	unsat
