14.85/17.53	unsat
