20.44/34.39	unsat
