8.17/12.07	unsat
