14.60/17.13	unsat
