14.85/17.79	unsat
