17.46/20.31	unsat
