5.11/6.90	unsat
