12.97/14.37	unsat
