5.30/6.47	unsat
