5.30/6.81	unsat
