13.97/14.84	unsat
