5.30/6.39	unsat
