14.97/17.28	unsat
