12.97/14.17	unsat
