10.97/14.07	unsat
