13.97/14.08	unsat
