5.30/6.13	unsat
