14.35/17.61	unsat
