12.97/14.46	unsat
