4.30/6.05	unsat
