13.97/15.82	unsat
