13.97/29.17	unsat
