17.85/21.39	unsat
