5.10/6.23	unsat
